Moszkowski, Ben: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - Compositional Reasoning Using Intervals and Time Reversal

Moszkowski, Ben

Year:

2011

Language:

english

File:

PDF, 253 KB

english, 2011

2

A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time

Moszkowski, Ben

Journal:

Journal of Applied Non-Classical Logics

Year:

2004

Language:

english

File:

PDF, 391 KB

english, 2004

3

Verification and enforcement of access control policies

Cau, Antonio, Janicke, Helge, Moszkowski, Ben

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.28 MB

english, 2013

4

From Box Algebra to Interval Temporal Logic

Klaudel, Hanna, Koutny, Maciej, Duan, Zhenhua, Moszkowski, Ben

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 499 KB

english, 2019

5

Interconnections between classes of sequentially compositional temporal formulas

Moszkowski, Ben

Journal:

Information Processing Letters

Year:

2013

Language:

english

File:

PDF, 386 KB

english, 2013

6

DIPLOMA IN MEDICAL RADIOLOGY AND ELECTROLOGY

Moszkowski, Ben

Journal:

Year:

1935

Language:

english

File:

PDF, 389 KB

english, 1935

7

Compositional reasoning using intervals and time reversal

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 1.46 MB

english, 2014

8

[IEEE 2016 16th International Conference on Application of Concurrency to System Design (ACSD) - Torun, Poland (2016.6.19-2016.6.24)] 2016 16th International Conference on Application of Concurrency to System Design (ACSD) - From Petri Nets with Shared Variables to ITL

Klaudel, Hanna, Koutny, Maciej, Moszkowski, Ben

Year:

2016

Language:

english

File:

PDF, 238 KB

english, 2016

9

An application of temporal projection to interleaving concurrency

Ben Moszkowski,Dimitar P. Guelev

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 1.05 MB

english, 2017

10

Guest editors’ preface to special issue on interval temporal logics

Moszkowski, Ben, Guelev, Dimitar, Leucker, Martin

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 236 KB

english, 2014

11

[IEEE 2012 Spring Congress on Engineering and Technology (S-CET) - Xi'an, China (2012.05.27-2012.05.30)] 2012 Spring Congress on Engineering and Technology - Formalising of Transactional Memory Using Interval Temporal Logic (ITL)

El-kustaban, Amin, Moszkowski, Ben, Cau, Antonio

Year:

2012

Language:

english

File:

PDF, 253 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски